Yablo’s Paradox and Kindred Infinite Liars
نویسندگان
چکیده
This is a defense and extension of Stephen Yablo’s claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form “None of these subsequent sentences are true” generates the same instability in assigning truth values. I argue Yablo’s technique of substituting infinity for self-reference applies to all so-called “self-referential” paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus’s validity paradox, the Knower, and other enigmas of the genre. I rebut objections that Yablo’s paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo’s paradox. I rebut objections that Yablo’s liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin’s algorithmic information theory. The paper concludes with comments on the mystique of self-reference.
منابع مشابه
Theoremizing Yablo's Paradox
To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self–reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self–reference. We turn Yablo’s paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo’s paradox comes ...
متن کاملYablo’s Paradox and the Omitting Types Theorem for Propositional Languages
We start by recapitulating Yablo’s paradox from [1]. We have infinitely many assertions {pi : ∈ IN} and each pi is equivalent to the assertion that all subsequent pj are false. A contradiction follows. There is a wealth of literature on this delightful puzzle, and I have been guilty of a minor contribution to it myself. This literature places Yablo’s paradox in the semantical column of Ramsey’s...
متن کاملYablo’s paradox and beginningless time
The structure of Yablo’s paradox is analysed and generalised in order to show that beginningless step-by-step determination processes can be used to provoke antinomies, more concretely, to make our logical and our ontological intuitions clash. The flow of time and the flow of causality are usually conceived of as intimately intertwined, so that temporal causation is the very paradigm of a step-...
متن کاملResolving Infinitary Paradoxes
Graph normal form, GNF, [1], was used in [2, 3] for analysing paradoxes in propositional discourses, with the semantics – equivalent to the classical one – defined by kernels of digraphs. The paper presents infinitary, resolution-based reasoning with GNF theories, which is refutationally complete for the classical semantics. Used for direct (not refutational) deduction it is not explosive and a...
متن کاملParadox and Relativism
Since the time of Plato, relativism has been attacked as a self-refuting theory. Today, there are two basic kinds of argument that are used to show that global relativism is logically incoherent: first, a direct descendent of the argument Plato uses against Protagoras, called the peritrope; and, second, a more recent argument that relativism leads to an infinite regress. Although some relativis...
متن کامل